Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
971	Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Xavier Leroy INRIA Rocquencourt [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-11-14 05:48:57 Subroutines Programming language implementation Compiler construction Procedural programming languages Compiler optimizations Calling convention Compiler Function prologue Stack Software engineering Computing Computer programming
972	MAWK(1) USER COMMANDS MAWK(1) Add to Reading List Source URL: invisible-island.net Language: English - Date: 2013-08-03 10:47:23 Formal languages String Scripting languages AWK Cross-platform software Expr Regular expression Comparison of programming languages Main function Computing Software engineering Software
973	Profiling For Laziness Matthias Felleisen Stephen Chang [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
974	Michael Yoshitaka Erlewine Curriculum Vitae: February 2015 Email: [removed] Add to Reading List Source URL: mitcho.com Language: English - Date: 2015-03-03 01:16:52 Knowledge Austronesian Formal Linguistics Association Michael Kenstowicz West Coast Conference on Formal Linguistics Austronesian languages Atayal language Linguistics Science Academia
975	Microsoft Word - 06-Formal-Grammars.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:00:37 Grammar Context-free grammar Formal grammar Left recursion Top-down parsing Parsing Terminal and nonterminal symbols Context-sensitive grammar Parse tree Formal languages Linguistics Software engineering
976	Resource Management in Legion ? Steve J. Chapin, Dimitrios Katramatos, John Karpovich, and Andrew Grimshaw Department of Computer Science, School of Engineering & Applied Science, University of Virginia, Charlottesville, Add to Reading List Source URL: legion.virginia.edu Language: English - Date: 1999-09-01 11:54:22 Formal languages Parsing Operations research Planning Scheduling Attribute grammar Tcl Application programming interface Resource Computing Software engineering Computer programming
977	Microsoft Word - 12-Miscellaneous-Parsing.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:39 Parsing Parser generators Compiling tools Compiler construction LALR parser Formal languages LR parser LL parser Lookahead Programming language implementation Software Computing
978	Pass-Join: A Partition-based Method for Similarity Joins Guoliang Li Dong Deng Jiannan Wang Add to Reading List Source URL: vldb.org Language: English - Date: 2011-11-23 01:03:10 Mathematics Substring Linguistics Formal languages Combinatorics String
979	The Midpoint Pathology: What it is and what it isn’t1 Brett Hyde Washington University March 2015 The term Midpoint Pathology, coined in Hyde (2008), refers to a set of defective predictions, firs Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2015-03-24 00:21:06 Automata theory String Syllable Regular language Stress Linguistics Phonology Formal languages
980	Microsoft Word - 07-Top-Down-Parsing.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:01:00 Parsing Linguistics Software engineering LL parser Recursive descent parser Bottom-up parsing Top-down parsing Lookahead Formal grammar Formal languages Compiler construction Syntax